Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·6h·
Discuss: Hacker News
💻Local LLMs
Python Fundamentals: case
dev.to·4h·
Discuss: DEV
✅Format Verification
Cactus Language • Stylistics 4
inquiryintoinquiry.com·2d
🌳Context free grammars
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Go interfaces and json.Unmarshal
fbrs.io·21h
🔧Binary Parsers
Finding Order-Preserving Subgraphs
arxiv.org·1d
🕸️Graph Algorithms
Issue 481
haskellweekly.news·4h
🔗Functional Compilers
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·3h·
Discuss: Hacker News
🤝Distributed Consensus
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·16h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
How To Build an AI Health Care Agent on Amazon Bedrock
thenewstack.io·1h
🔌Archive APIs
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·9h
🔍RegEx Engines
Historical highlights?
logicmatters.net·2d
🔀Category Theory
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·2d
🧠Learned Indexing
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
This “smart coach” helps LLMs switch between text and code
news.mit.edu·12h
💻Local LLMs
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·14h·
Discuss: Hacker News
🔗Concatenative Programming
ChatGPT is not AI
newsletter.techworld-with-milan.com·1h
🎙️Whisper
Training a Chunker with Burn
elijahpotter.dev·19h·
Discuss: Hacker News
📝Concrete Syntax